-
1 logic-driven testing
Программирование: тестирование, основанное на логике (см. Standard glossary of terms used in Software Testing)
См. также в других словарях:
УБЕЖДЕНИЕ — 1) метод воспитания, представляющий интеллектуально эмоциональное воздействие на сознание, чувства, волю воспитанников, основанное на логике, на доказательствах, с целью выработки у них собственных взглядов и нравственных критериев. В отличие от… … Педагогический словарь
ДИАЛЕКТИЧЕСКИЙ МАТЕРИАЛИЗМ. — ДИАЛЕКТИЧЕСКИЙ МАТЕРИАЛИЗМ. С о д е р ж а н и е: I. Предмет диалектического материализма 479 II. Возникновение диалектического материализма.... 480 III. Ленинский этап в развитии диалектического материализма 481 IV. Материя и сознание 483 V.… … Философская энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… … Философская энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЭРИСТИКА — в культуре 20 в. искусство спорить (греч.). Термин “Э.” предложил Аристотель, характеризуя “софистические опровержения”, т.е. борьбу в споре нечистыми средствами. Гнев Аристотеля понятен: античный философ отвергал извращение одной … Энциклопедия культурологии
Университет — (от лат. universitas совокупность). В настоящее время с понятием У. соединяют представление о высшем учебном заведении, которое, имея целью свободное преподавание и развитие всех отраслей науки (universitas litterarum), независимо от их… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… … Философская энциклопедия
Тождество — основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем. В математике Т. это Уравнение, которое удовлетворяется тождественно, то есть… … Большая советская энциклопедия
ВЗАИМОДЕЙСТВИЕ МЕЖЛИЧНОСТНОЕ — – 1. В широком смысле – случайный или преднамеренный, частный или публичный, длительный или кратковременный, вербальный или невербальный личный контакт двух и более человек, имеющий следствием взаимные изменения их поведения, деятельности,… … Энциклопедический словарь по психологии и педагогике
БОЭЦИЙ — [лат. Boёthius, Boёtius] Аниций Манлий Торкват Северин (ок. 480, Рим 524 или 526, Кальвенцано, близ г. Тицин (совр. Павия), Италия), св. католич. Церкви (пам. 23 окт.), рим. философ, богослов и гос. деятель. Жизнь Консульский диптих Боэция… … Православная энциклопедия